function $(id){
			return document.getElementById(id);
		}